unrestricted invariant

无约束不变式